COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M1BASL30\M2BASB30\M3NGR25\M4NGR20\F2\CSTANFORD UNIVERSITY
C00005 ENDMK
C⊗;
\\M1BASL30;\M2BASB30;\M3NGR25;\M4NGR20;\F2\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4COMPUTER SCIENCE DEPARTMENT\←L\-R\/'7;\+R\→.\→S   Telephone:
\←S\→.415-497-4971
\F1\CApril 24,1975



Mr. James Duley
HP Labs, Deer Creek
3500 Deer Creek Road
Palo Alto, Cal   94304


Dear Mr. Duley:

\J
Your name was given to me by a student of mine who is currently
working at Hewlett-Packard. Though he didn't know too much about your
work he thought that there might be grounds for mutual interest.

I am writing to you on that chance.
I am enclosing a slight biographical sketch. The salient features
of that biography are my extensive experience in computer science research
and teaching. I have taught at UC Santa Barbara, Los Angeles and Santa Cruz.
I am currently teaching at San Jose State. I am completing a book on
foundations of computer science and language design; it will be published
by McGraw-Hill. 
My current research interest lie in the realm of application of the
theoretical work in automatic programming and verification. In particular,
I am currently writing a proposal to  explore
an on-line programming laboratory for the construction of reliable programs.
I seek a position where I can  continue my research interests.

If there does seem to be a ground for mutual interest please contact me.
\.
\←L\→S\←R\-L\/'2;\+L\→L

Yours sincerely,



John R. Allen
Research Associate
Computer Science Dept
Artificial Intelligence Lab

\←S\→L